Modeling Interoperability Channel using UPPAAL

In modern vehicles, there are a lot of devices (GPS, Tachograph, GSM / GPRS. . . ) with different functions. These peripherals communicate with each other thanks to various media and protocols. The weakness of some protocols and standards obstructs the interoperability. They have to exchange useful information about the vehicle status and understand what is being shared. This paper aims to design and to model a smart channel of communication and interoperability between heterogeneous embedded systems on transportation vehicles. This channel identifies connected peripherals and allows them to exchange data automatically with any kind of device. Furthermore, the smart channel builds services which can be customized by the end-user. The model has been proposed and specified thanks to the toolbox UPPAAL. With this toolbox we perform a simulation and verification (we considered critical situations of the system).